Devenir chercheuses en danse

Éditorial: Informatique et devenir

Decentralized Virtual Internet Deployment using DANSE

DANSE (Dynamic Network Synthesizer) is a system and architecture to deploy virtual networks in a decentralized way using network-specific, platformindependent and reusable deployment strategies. DANSE combines network virtualization with decentralized control to provide a simple and generic control architecture in which sophisticated network control algorithms can be expressed. Further, DANSE p...

Une logique conflictuelle: double négation et devenir, méthode

Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach

This report presents some of the results of the first year of Danse, one of the first EU IP projects dedicated to System of Systems. Concretely, we offer a tool chain that allows to specify SoS and SoS requirements at high level, and analyse them using powerful toolsets coming from the formal verification area. At the high level, we use UPDM, the system model provided by the british army as wel...

Devenir sérologique et nutritionnel des nourrissons nés de mères séropositives suivis dans l’option B+ à Guédiawaye

Dans le cadre de son plan d’élimination de la transmission de la mère à l’enfant du VIH , le Sénégal a adopté depuis 2012 l’option B+ de l’OMS consistant en une mise sous trithérapie systématique des femmes enceintes séropositives, associée à l’allaitement maternel et la mise sous prophylaxie antirétrovirale (ARV) de leurs nourrissons. L’objectif de notre étude était d’étudier les risques de tr...